Optimal. Leaf size=243 \[ 58 x-9 x^3+x^5-\frac {25 x \left (15+7 x^2\right )}{16 \left (3+2 x^2+x^4\right )^2}+\frac {x \left (3305+252 x^2\right )}{64 \left (3+2 x^2+x^4\right )}+\frac {3}{256} \sqrt {-8595619+7678611 \sqrt {3}} \tan ^{-1}\left (\frac {\sqrt {2 \left (-1+\sqrt {3}\right )}-2 x}{\sqrt {2 \left (1+\sqrt {3}\right )}}\right )-\frac {3}{256} \sqrt {-8595619+7678611 \sqrt {3}} \tan ^{-1}\left (\frac {\sqrt {2 \left (-1+\sqrt {3}\right )}+2 x}{\sqrt {2 \left (1+\sqrt {3}\right )}}\right )+\frac {3}{512} \sqrt {8595619+7678611 \sqrt {3}} \log \left (\sqrt {3}-\sqrt {2 \left (-1+\sqrt {3}\right )} x+x^2\right )-\frac {3}{512} \sqrt {8595619+7678611 \sqrt {3}} \log \left (\sqrt {3}+\sqrt {2 \left (-1+\sqrt {3}\right )} x+x^2\right ) \]
[Out]
________________________________________________________________________________________
Rubi [A]
time = 0.23, antiderivative size = 243, normalized size of antiderivative = 1.00, number of steps
used = 13, number of rules used = 8, integrand size = 31, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.258, Rules used = {1682, 1692,
1690, 1183, 648, 632, 210, 642} \begin {gather*} \frac {3}{256} \sqrt {7678611 \sqrt {3}-8595619} \text {ArcTan}\left (\frac {\sqrt {2 \left (\sqrt {3}-1\right )}-2 x}{\sqrt {2 \left (1+\sqrt {3}\right )}}\right )-\frac {3}{256} \sqrt {7678611 \sqrt {3}-8595619} \text {ArcTan}\left (\frac {2 x+\sqrt {2 \left (\sqrt {3}-1\right )}}{\sqrt {2 \left (1+\sqrt {3}\right )}}\right )+x^5-9 x^3+\frac {3}{512} \sqrt {8595619+7678611 \sqrt {3}} \log \left (x^2-\sqrt {2 \left (\sqrt {3}-1\right )} x+\sqrt {3}\right )-\frac {3}{512} \sqrt {8595619+7678611 \sqrt {3}} \log \left (x^2+\sqrt {2 \left (\sqrt {3}-1\right )} x+\sqrt {3}\right )+\frac {\left (252 x^2+3305\right ) x}{64 \left (x^4+2 x^2+3\right )}-\frac {25 \left (7 x^2+15\right ) x}{16 \left (x^4+2 x^2+3\right )^2}+58 x \end {gather*}
Antiderivative was successfully verified.
[In]
[Out]
Rule 210
Rule 632
Rule 642
Rule 648
Rule 1183
Rule 1682
Rule 1690
Rule 1692
Rubi steps
\begin {align*} \int \frac {x^{10} \left (4+x^2+3 x^4+5 x^6\right )}{\left (3+2 x^2+x^4\right )^3} \, dx &=-\frac {25 x \left (15+7 x^2\right )}{16 \left (3+2 x^2+x^4\right )^2}+\frac {1}{96} \int \frac {2250-2850 x^2-4800 x^4+2400 x^6-672 x^{10}+480 x^{12}}{\left (3+2 x^2+x^4\right )^2} \, dx\\ &=-\frac {25 x \left (15+7 x^2\right )}{16 \left (3+2 x^2+x^4\right )^2}+\frac {x \left (3305+252 x^2\right )}{64 \left (3+2 x^2+x^4\right )}+\frac {\int \frac {-201960+193248 x^2+87552 x^4-78336 x^6+23040 x^8}{3+2 x^2+x^4} \, dx}{4608}\\ &=-\frac {25 x \left (15+7 x^2\right )}{16 \left (3+2 x^2+x^4\right )^2}+\frac {x \left (3305+252 x^2\right )}{64 \left (3+2 x^2+x^4\right )}+\frac {\int \left (267264-124416 x^2+23040 x^4-\frac {216 \left (4647-148 x^2\right )}{3+2 x^2+x^4}\right ) \, dx}{4608}\\ &=58 x-9 x^3+x^5-\frac {25 x \left (15+7 x^2\right )}{16 \left (3+2 x^2+x^4\right )^2}+\frac {x \left (3305+252 x^2\right )}{64 \left (3+2 x^2+x^4\right )}-\frac {3}{64} \int \frac {4647-148 x^2}{3+2 x^2+x^4} \, dx\\ &=58 x-9 x^3+x^5-\frac {25 x \left (15+7 x^2\right )}{16 \left (3+2 x^2+x^4\right )^2}+\frac {x \left (3305+252 x^2\right )}{64 \left (3+2 x^2+x^4\right )}-\frac {1}{256} \sqrt {3 \left (1+\sqrt {3}\right )} \int \frac {4647 \sqrt {2 \left (-1+\sqrt {3}\right )}-\left (4647+148 \sqrt {3}\right ) x}{\sqrt {3}-\sqrt {2 \left (-1+\sqrt {3}\right )} x+x^2} \, dx-\frac {1}{256} \sqrt {3 \left (1+\sqrt {3}\right )} \int \frac {4647 \sqrt {2 \left (-1+\sqrt {3}\right )}+\left (4647+148 \sqrt {3}\right ) x}{\sqrt {3}+\sqrt {2 \left (-1+\sqrt {3}\right )} x+x^2} \, dx\\ &=58 x-9 x^3+x^5-\frac {25 x \left (15+7 x^2\right )}{16 \left (3+2 x^2+x^4\right )^2}+\frac {x \left (3305+252 x^2\right )}{64 \left (3+2 x^2+x^4\right )}-\frac {1}{256} \left (3 \sqrt {7220107-458504 \sqrt {3}}\right ) \int \frac {1}{\sqrt {3}-\sqrt {2 \left (-1+\sqrt {3}\right )} x+x^2} \, dx-\frac {1}{256} \left (3 \sqrt {7220107-458504 \sqrt {3}}\right ) \int \frac {1}{\sqrt {3}+\sqrt {2 \left (-1+\sqrt {3}\right )} x+x^2} \, dx+\frac {1}{512} \left (3 \sqrt {8595619+7678611 \sqrt {3}}\right ) \int \frac {-\sqrt {2 \left (-1+\sqrt {3}\right )}+2 x}{\sqrt {3}-\sqrt {2 \left (-1+\sqrt {3}\right )} x+x^2} \, dx-\frac {1}{512} \left (3 \sqrt {8595619+7678611 \sqrt {3}}\right ) \int \frac {\sqrt {2 \left (-1+\sqrt {3}\right )}+2 x}{\sqrt {3}+\sqrt {2 \left (-1+\sqrt {3}\right )} x+x^2} \, dx\\ &=58 x-9 x^3+x^5-\frac {25 x \left (15+7 x^2\right )}{16 \left (3+2 x^2+x^4\right )^2}+\frac {x \left (3305+252 x^2\right )}{64 \left (3+2 x^2+x^4\right )}+\frac {3}{512} \sqrt {8595619+7678611 \sqrt {3}} \log \left (\sqrt {3}-\sqrt {2 \left (-1+\sqrt {3}\right )} x+x^2\right )-\frac {3}{512} \sqrt {8595619+7678611 \sqrt {3}} \log \left (\sqrt {3}+\sqrt {2 \left (-1+\sqrt {3}\right )} x+x^2\right )+\frac {1}{128} \left (3 \sqrt {7220107-458504 \sqrt {3}}\right ) \text {Subst}\left (\int \frac {1}{-2 \left (1+\sqrt {3}\right )-x^2} \, dx,x,-\sqrt {2 \left (-1+\sqrt {3}\right )}+2 x\right )+\frac {1}{128} \left (3 \sqrt {7220107-458504 \sqrt {3}}\right ) \text {Subst}\left (\int \frac {1}{-2 \left (1+\sqrt {3}\right )-x^2} \, dx,x,\sqrt {2 \left (-1+\sqrt {3}\right )}+2 x\right )\\ &=58 x-9 x^3+x^5-\frac {25 x \left (15+7 x^2\right )}{16 \left (3+2 x^2+x^4\right )^2}+\frac {x \left (3305+252 x^2\right )}{64 \left (3+2 x^2+x^4\right )}+\frac {3}{256} \sqrt {-8595619+7678611 \sqrt {3}} \tan ^{-1}\left (\frac {\sqrt {2 \left (-1+\sqrt {3}\right )}-2 x}{\sqrt {2 \left (1+\sqrt {3}\right )}}\right )-\frac {3}{256} \sqrt {-8595619+7678611 \sqrt {3}} \tan ^{-1}\left (\frac {\sqrt {2 \left (-1+\sqrt {3}\right )}+2 x}{\sqrt {2 \left (1+\sqrt {3}\right )}}\right )+\frac {3}{512} \sqrt {8595619+7678611 \sqrt {3}} \log \left (\sqrt {3}-\sqrt {2 \left (-1+\sqrt {3}\right )} x+x^2\right )-\frac {3}{512} \sqrt {8595619+7678611 \sqrt {3}} \log \left (\sqrt {3}+\sqrt {2 \left (-1+\sqrt {3}\right )} x+x^2\right )\\ \end {align*}
________________________________________________________________________________________
Mathematica [C] Result contains complex when optimal does not.
time = 0.14, size = 156, normalized size = 0.64 \begin {gather*} 58 x-9 x^3+x^5-\frac {25 x \left (15+7 x^2\right )}{16 \left (3+2 x^2+x^4\right )^2}+\frac {x \left (3305+252 x^2\right )}{64 \left (3+2 x^2+x^4\right )}+\frac {3 \left (4795 i+148 \sqrt {2}\right ) \tan ^{-1}\left (\frac {x}{\sqrt {1-i \sqrt {2}}}\right )}{128 \sqrt {2-2 i \sqrt {2}}}+\frac {3 \left (-4795 i+148 \sqrt {2}\right ) \tan ^{-1}\left (\frac {x}{\sqrt {1+i \sqrt {2}}}\right )}{128 \sqrt {2+2 i \sqrt {2}}} \end {gather*}
Antiderivative was successfully verified.
[In]
[Out]
________________________________________________________________________________________
Maple [A]
time = 0.04, size = 298, normalized size = 1.23
method | result | size |
risch | \(x^{5}-9 x^{3}+58 x +\frac {\frac {63}{16} x^{7}+\frac {3809}{64} x^{5}+\frac {3333}{32} x^{3}+\frac {8415}{64} x}{\left (x^{4}+2 x^{2}+3\right )^{2}}+\frac {3 \left (\munderset {\textit {\_R} =\RootOf \left (\textit {\_Z}^{4}+2 \textit {\_Z}^{2}+3\right )}{\sum }\frac {\left (148 \textit {\_R}^{2}-4647\right ) \ln \left (x -\textit {\_R} \right )}{\textit {\_R}^{3}+\textit {\_R}}\right )}{256}\) | \(82\) |
default | \(x^{5}-9 x^{3}+58 x +\frac {\frac {63}{16} x^{7}+\frac {3809}{64} x^{5}+\frac {3333}{32} x^{3}+\frac {8415}{64} x}{\left (x^{4}+2 x^{2}+3\right )^{2}}+\frac {3 \left (1697 \sqrt {-2+2 \sqrt {3}}\, \sqrt {3}+4795 \sqrt {-2+2 \sqrt {3}}\right ) \ln \left (x^{2}+\sqrt {3}-x \sqrt {-2+2 \sqrt {3}}\right )}{1024}+\frac {3 \left (-6196 \sqrt {3}+\frac {\left (1697 \sqrt {-2+2 \sqrt {3}}\, \sqrt {3}+4795 \sqrt {-2+2 \sqrt {3}}\right ) \sqrt {-2+2 \sqrt {3}}}{2}\right ) \arctan \left (\frac {2 x -\sqrt {-2+2 \sqrt {3}}}{\sqrt {2+2 \sqrt {3}}}\right )}{256 \sqrt {2+2 \sqrt {3}}}+\frac {3 \left (-1697 \sqrt {-2+2 \sqrt {3}}\, \sqrt {3}-4795 \sqrt {-2+2 \sqrt {3}}\right ) \ln \left (x^{2}+\sqrt {3}+x \sqrt {-2+2 \sqrt {3}}\right )}{1024}+\frac {3 \left (-6196 \sqrt {3}-\frac {\left (-1697 \sqrt {-2+2 \sqrt {3}}\, \sqrt {3}-4795 \sqrt {-2+2 \sqrt {3}}\right ) \sqrt {-2+2 \sqrt {3}}}{2}\right ) \arctan \left (\frac {2 x +\sqrt {-2+2 \sqrt {3}}}{\sqrt {2+2 \sqrt {3}}}\right )}{256 \sqrt {2+2 \sqrt {3}}}\) | \(298\) |
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Maxima [F]
time = 0.00, size = 0, normalized size = 0.00 \begin {gather*} \text {Failed to integrate} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Fricas [B] Leaf count of result is larger than twice the leaf count of optimal. 568 vs.
\(2 (190) = 380\).
time = 0.39, size = 568, normalized size = 2.34 \begin {gather*} \frac {18808834881088512 \, x^{13} - 94044174405442560 \, x^{11} + 601882716194832384 \, x^{9} + 2970620359031916864 \, x^{7} + 10166469141273357744 \, x^{5} + 57410392 \cdot 2183743218123^{\frac {1}{4}} \sqrt {3} {\left (x^{8} + 4 \, x^{6} + 10 \, x^{4} + 12 \, x^{2} + 9\right )} \sqrt {-66002414605209 \, \sqrt {3} + 176883200667963} \arctan \left (\frac {1}{863545621466021963404537403089353} \cdot 2183743218123^{\frac {3}{4}} \sqrt {7176299} \sqrt {853179} \sqrt {55104008440689 \, x^{2} + 2183743218123^{\frac {1}{4}} {\left (148 \, \sqrt {3} \sqrt {2} x + 4647 \, \sqrt {2} x\right )} \sqrt {-66002414605209 \, \sqrt {3} + 176883200667963} + 55104008440689 \, \sqrt {3}} {\left (1549 \, \sqrt {3} + 148\right )} \sqrt {-66002414605209 \, \sqrt {3} + 176883200667963} - \frac {1}{47013582817418600331} \cdot 2183743218123^{\frac {3}{4}} {\left (1549 \, \sqrt {3} x + 148 \, x\right )} \sqrt {-66002414605209 \, \sqrt {3} + 176883200667963} - \frac {1}{2} \, \sqrt {3} \sqrt {2} + \frac {1}{2} \, \sqrt {2}\right ) + 57410392 \cdot 2183743218123^{\frac {1}{4}} \sqrt {3} {\left (x^{8} + 4 \, x^{6} + 10 \, x^{4} + 12 \, x^{2} + 9\right )} \sqrt {-66002414605209 \, \sqrt {3} + 176883200667963} \arctan \left (\frac {1}{863545621466021963404537403089353} \cdot 2183743218123^{\frac {3}{4}} \sqrt {7176299} \sqrt {853179} \sqrt {55104008440689 \, x^{2} - 2183743218123^{\frac {1}{4}} {\left (148 \, \sqrt {3} \sqrt {2} x + 4647 \, \sqrt {2} x\right )} \sqrt {-66002414605209 \, \sqrt {3} + 176883200667963} + 55104008440689 \, \sqrt {3}} {\left (1549 \, \sqrt {3} + 148\right )} \sqrt {-66002414605209 \, \sqrt {3} + 176883200667963} - \frac {1}{47013582817418600331} \cdot 2183743218123^{\frac {3}{4}} {\left (1549 \, \sqrt {3} x + 148 \, x\right )} \sqrt {-66002414605209 \, \sqrt {3} + 176883200667963} + \frac {1}{2} \, \sqrt {3} \sqrt {2} - \frac {1}{2} \, \sqrt {2}\right ) + 13526491159952810208 \, x^{3} - 2183743218123^{\frac {1}{4}} {\left (8595619 \, \sqrt {3} \sqrt {2} {\left (x^{8} + 4 \, x^{6} + 10 \, x^{4} + 12 \, x^{2} + 9\right )} + 23035833 \, \sqrt {2} {\left (x^{8} + 4 \, x^{6} + 10 \, x^{4} + 12 \, x^{2} + 9\right )}\right )} \sqrt {-66002414605209 \, \sqrt {3} + 176883200667963} \log \left (530649602003889 \, x^{2} + \frac {69107499}{7176299} \cdot 2183743218123^{\frac {1}{4}} {\left (148 \, \sqrt {3} \sqrt {2} x + 4647 \, \sqrt {2} x\right )} \sqrt {-66002414605209 \, \sqrt {3} + 176883200667963} + 530649602003889 \, \sqrt {3}\right ) + 2183743218123^{\frac {1}{4}} {\left (8595619 \, \sqrt {3} \sqrt {2} {\left (x^{8} + 4 \, x^{6} + 10 \, x^{4} + 12 \, x^{2} + 9\right )} + 23035833 \, \sqrt {2} {\left (x^{8} + 4 \, x^{6} + 10 \, x^{4} + 12 \, x^{2} + 9\right )}\right )} \sqrt {-66002414605209 \, \sqrt {3} + 176883200667963} \log \left (530649602003889 \, x^{2} - \frac {69107499}{7176299} \cdot 2183743218123^{\frac {1}{4}} {\left (148 \, \sqrt {3} \sqrt {2} x + 4647 \, \sqrt {2} x\right )} \sqrt {-66002414605209 \, \sqrt {3} + 176883200667963} + 530649602003889 \, \sqrt {3}\right ) + 12291279706746325584 \, x}{18808834881088512 \, {\left (x^{8} + 4 \, x^{6} + 10 \, x^{4} + 12 \, x^{2} + 9\right )}} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Sympy [B] Leaf count of result is larger than twice the leaf count of optimal. 1204 vs.
\(2 (221) = 442\).
time = 0.72, size = 1204, normalized size = 4.95 \begin {gather*} x^{5} - 9 x^{3} + 58 x + \frac {252 x^{7} + 3809 x^{5} + 6666 x^{3} + 8415 x}{64 x^{8} + 256 x^{6} + 640 x^{4} + 768 x^{2} + 576} - 3 \sqrt {\frac {8595619}{262144} + \frac {7678611 \sqrt {3}}{262144}} \log {\left (x^{2} + x \left (- \frac {6788 \sqrt {3} \sqrt {8595619 + 7678611 \sqrt {3}}}{7176299} - \frac {2313785528 \sqrt {8595619 + 7678611 \sqrt {3}}}{18368002813563} + \frac {1697 \sqrt {2} \sqrt {8595619 + 7678611 \sqrt {3}} \sqrt {66002414605209 \sqrt {3} + 125383933330562}}{18368002813563}\right ) - \frac {1218095240252468879279 \sqrt {2} \sqrt {66002414605209 \sqrt {3} + 125383933330562}}{1012150582077174852410264907} - \frac {134353410196228 \sqrt {6} \sqrt {66002414605209 \sqrt {3} + 125383933330562}}{395442840668908030011} + \frac {18391902996311867463806959889}{1012150582077174852410264907} + \frac {5204579286823805792980 \sqrt {3}}{395442840668908030011} \right )} + 3 \sqrt {\frac {8595619}{262144} + \frac {7678611 \sqrt {3}}{262144}} \log {\left (x^{2} + x \left (- \frac {1697 \sqrt {2} \sqrt {8595619 + 7678611 \sqrt {3}} \sqrt {66002414605209 \sqrt {3} + 125383933330562}}{18368002813563} + \frac {2313785528 \sqrt {8595619 + 7678611 \sqrt {3}}}{18368002813563} + \frac {6788 \sqrt {3} \sqrt {8595619 + 7678611 \sqrt {3}}}{7176299}\right ) - \frac {1218095240252468879279 \sqrt {2} \sqrt {66002414605209 \sqrt {3} + 125383933330562}}{1012150582077174852410264907} - \frac {134353410196228 \sqrt {6} \sqrt {66002414605209 \sqrt {3} + 125383933330562}}{395442840668908030011} + \frac {18391902996311867463806959889}{1012150582077174852410264907} + \frac {5204579286823805792980 \sqrt {3}}{395442840668908030011} \right )} - 2 \sqrt {- \frac {9 \sqrt {2} \sqrt {66002414605209 \sqrt {3} + 125383933330562}}{131072} + \frac {77360571}{262144} + \frac {207322497 \sqrt {3}}{262144}} \operatorname {atan}{\left (\frac {110208016881378 x}{22232174302 \sqrt {- 2 \sqrt {2} \sqrt {66002414605209 \sqrt {3} + 125383933330562} + 8595619 + 23035833 \sqrt {3}} + 1697 \sqrt {2} \sqrt {66002414605209 \sqrt {3} + 125383933330562} \sqrt {- 2 \sqrt {2} \sqrt {66002414605209 \sqrt {3} + 125383933330562} + 8595619 + 23035833 \sqrt {3}}} - \frac {52122411468 \sqrt {3} \sqrt {8595619 + 7678611 \sqrt {3}}}{22232174302 \sqrt {- 2 \sqrt {2} \sqrt {66002414605209 \sqrt {3} + 125383933330562} + 8595619 + 23035833 \sqrt {3}} + 1697 \sqrt {2} \sqrt {66002414605209 \sqrt {3} + 125383933330562} \sqrt {- 2 \sqrt {2} \sqrt {66002414605209 \sqrt {3} + 125383933330562} + 8595619 + 23035833 \sqrt {3}}} - \frac {6941356584 \sqrt {8595619 + 7678611 \sqrt {3}}}{22232174302 \sqrt {- 2 \sqrt {2} \sqrt {66002414605209 \sqrt {3} + 125383933330562} + 8595619 + 23035833 \sqrt {3}} + 1697 \sqrt {2} \sqrt {66002414605209 \sqrt {3} + 125383933330562} \sqrt {- 2 \sqrt {2} \sqrt {66002414605209 \sqrt {3} + 125383933330562} + 8595619 + 23035833 \sqrt {3}}} + \frac {5091 \sqrt {2} \sqrt {8595619 + 7678611 \sqrt {3}} \sqrt {66002414605209 \sqrt {3} + 125383933330562}}{22232174302 \sqrt {- 2 \sqrt {2} \sqrt {66002414605209 \sqrt {3} + 125383933330562} + 8595619 + 23035833 \sqrt {3}} + 1697 \sqrt {2} \sqrt {66002414605209 \sqrt {3} + 125383933330562} \sqrt {- 2 \sqrt {2} \sqrt {66002414605209 \sqrt {3} + 125383933330562} + 8595619 + 23035833 \sqrt {3}}} \right )} - 2 \sqrt {- \frac {9 \sqrt {2} \sqrt {66002414605209 \sqrt {3} + 125383933330562}}{131072} + \frac {77360571}{262144} + \frac {207322497 \sqrt {3}}{262144}} \operatorname {atan}{\left (\frac {110208016881378 x}{22232174302 \sqrt {- 2 \sqrt {2} \sqrt {66002414605209 \sqrt {3} + 125383933330562} + 8595619 + 23035833 \sqrt {3}} + 1697 \sqrt {2} \sqrt {66002414605209 \sqrt {3} + 125383933330562} \sqrt {- 2 \sqrt {2} \sqrt {66002414605209 \sqrt {3} + 125383933330562} + 8595619 + 23035833 \sqrt {3}}} - \frac {5091 \sqrt {2} \sqrt {8595619 + 7678611 \sqrt {3}} \sqrt {66002414605209 \sqrt {3} + 125383933330562}}{22232174302 \sqrt {- 2 \sqrt {2} \sqrt {66002414605209 \sqrt {3} + 125383933330562} + 8595619 + 23035833 \sqrt {3}} + 1697 \sqrt {2} \sqrt {66002414605209 \sqrt {3} + 125383933330562} \sqrt {- 2 \sqrt {2} \sqrt {66002414605209 \sqrt {3} + 125383933330562} + 8595619 + 23035833 \sqrt {3}}} + \frac {6941356584 \sqrt {8595619 + 7678611 \sqrt {3}}}{22232174302 \sqrt {- 2 \sqrt {2} \sqrt {66002414605209 \sqrt {3} + 125383933330562} + 8595619 + 23035833 \sqrt {3}} + 1697 \sqrt {2} \sqrt {66002414605209 \sqrt {3} + 125383933330562} \sqrt {- 2 \sqrt {2} \sqrt {66002414605209 \sqrt {3} + 125383933330562} + 8595619 + 23035833 \sqrt {3}}} + \frac {52122411468 \sqrt {3} \sqrt {8595619 + 7678611 \sqrt {3}}}{22232174302 \sqrt {- 2 \sqrt {2} \sqrt {66002414605209 \sqrt {3} + 125383933330562} + 8595619 + 23035833 \sqrt {3}} + 1697 \sqrt {2} \sqrt {66002414605209 \sqrt {3} + 125383933330562} \sqrt {- 2 \sqrt {2} \sqrt {66002414605209 \sqrt {3} + 125383933330562} + 8595619 + 23035833 \sqrt {3}}} \right )} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Giac [B] Leaf count of result is larger than twice the leaf count of optimal. 588 vs.
\(2 (190) = 380\).
time = 5.73, size = 588, normalized size = 2.42 \begin {gather*} x^{5} - 9 \, x^{3} - \frac {1}{13824} \, \sqrt {2} {\left (37 \cdot 3^{\frac {3}{4}} \sqrt {2} {\left (6 \, \sqrt {3} + 18\right )}^{\frac {3}{2}} + 666 \cdot 3^{\frac {3}{4}} \sqrt {2} \sqrt {6 \, \sqrt {3} + 18} {\left (\sqrt {3} - 3\right )} - 666 \cdot 3^{\frac {3}{4}} {\left (\sqrt {3} + 3\right )} \sqrt {-6 \, \sqrt {3} + 18} + 37 \cdot 3^{\frac {3}{4}} {\left (-6 \, \sqrt {3} + 18\right )}^{\frac {3}{2}} + 41823 \cdot 3^{\frac {1}{4}} \sqrt {2} \sqrt {6 \, \sqrt {3} + 18} - 41823 \cdot 3^{\frac {1}{4}} \sqrt {-6 \, \sqrt {3} + 18}\right )} \arctan \left (\frac {3^{\frac {3}{4}} {\left (x + 3^{\frac {1}{4}} \sqrt {-\frac {1}{6} \, \sqrt {3} + \frac {1}{2}}\right )}}{3 \, \sqrt {\frac {1}{6} \, \sqrt {3} + \frac {1}{2}}}\right ) - \frac {1}{13824} \, \sqrt {2} {\left (37 \cdot 3^{\frac {3}{4}} \sqrt {2} {\left (6 \, \sqrt {3} + 18\right )}^{\frac {3}{2}} + 666 \cdot 3^{\frac {3}{4}} \sqrt {2} \sqrt {6 \, \sqrt {3} + 18} {\left (\sqrt {3} - 3\right )} - 666 \cdot 3^{\frac {3}{4}} {\left (\sqrt {3} + 3\right )} \sqrt {-6 \, \sqrt {3} + 18} + 37 \cdot 3^{\frac {3}{4}} {\left (-6 \, \sqrt {3} + 18\right )}^{\frac {3}{2}} + 41823 \cdot 3^{\frac {1}{4}} \sqrt {2} \sqrt {6 \, \sqrt {3} + 18} - 41823 \cdot 3^{\frac {1}{4}} \sqrt {-6 \, \sqrt {3} + 18}\right )} \arctan \left (\frac {3^{\frac {3}{4}} {\left (x - 3^{\frac {1}{4}} \sqrt {-\frac {1}{6} \, \sqrt {3} + \frac {1}{2}}\right )}}{3 \, \sqrt {\frac {1}{6} \, \sqrt {3} + \frac {1}{2}}}\right ) - \frac {1}{27648} \, \sqrt {2} {\left (666 \cdot 3^{\frac {3}{4}} \sqrt {2} {\left (\sqrt {3} + 3\right )} \sqrt {-6 \, \sqrt {3} + 18} - 37 \cdot 3^{\frac {3}{4}} \sqrt {2} {\left (-6 \, \sqrt {3} + 18\right )}^{\frac {3}{2}} + 37 \cdot 3^{\frac {3}{4}} {\left (6 \, \sqrt {3} + 18\right )}^{\frac {3}{2}} + 666 \cdot 3^{\frac {3}{4}} \sqrt {6 \, \sqrt {3} + 18} {\left (\sqrt {3} - 3\right )} + 41823 \cdot 3^{\frac {1}{4}} \sqrt {2} \sqrt {-6 \, \sqrt {3} + 18} + 41823 \cdot 3^{\frac {1}{4}} \sqrt {6 \, \sqrt {3} + 18}\right )} \log \left (x^{2} + 2 \cdot 3^{\frac {1}{4}} x \sqrt {-\frac {1}{6} \, \sqrt {3} + \frac {1}{2}} + \sqrt {3}\right ) + \frac {1}{27648} \, \sqrt {2} {\left (666 \cdot 3^{\frac {3}{4}} \sqrt {2} {\left (\sqrt {3} + 3\right )} \sqrt {-6 \, \sqrt {3} + 18} - 37 \cdot 3^{\frac {3}{4}} \sqrt {2} {\left (-6 \, \sqrt {3} + 18\right )}^{\frac {3}{2}} + 37 \cdot 3^{\frac {3}{4}} {\left (6 \, \sqrt {3} + 18\right )}^{\frac {3}{2}} + 666 \cdot 3^{\frac {3}{4}} \sqrt {6 \, \sqrt {3} + 18} {\left (\sqrt {3} - 3\right )} + 41823 \cdot 3^{\frac {1}{4}} \sqrt {2} \sqrt {-6 \, \sqrt {3} + 18} + 41823 \cdot 3^{\frac {1}{4}} \sqrt {6 \, \sqrt {3} + 18}\right )} \log \left (x^{2} - 2 \cdot 3^{\frac {1}{4}} x \sqrt {-\frac {1}{6} \, \sqrt {3} + \frac {1}{2}} + \sqrt {3}\right ) + 58 \, x + \frac {252 \, x^{7} + 3809 \, x^{5} + 6666 \, x^{3} + 8415 \, x}{64 \, {\left (x^{4} + 2 \, x^{2} + 3\right )}^{2}} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Mupad [B]
time = 0.11, size = 184, normalized size = 0.76 \begin {gather*} 58\,x+\frac {\frac {63\,x^7}{16}+\frac {3809\,x^5}{64}+\frac {3333\,x^3}{32}+\frac {8415\,x}{64}}{x^8+4\,x^6+10\,x^4+12\,x^2+9}-9\,x^3+x^5-\frac {\mathrm {atan}\left (\frac {x\,\sqrt {17191238-\sqrt {2}\,14352598{}\mathrm {i}}\,193760073{}\mathrm {i}}{131072\,\left (-\frac {986432531643}{131072}+\frac {\sqrt {2}\,900403059231{}\mathrm {i}}{131072}\right )}-\frac {193760073\,\sqrt {2}\,x\,\sqrt {17191238-\sqrt {2}\,14352598{}\mathrm {i}}}{262144\,\left (-\frac {986432531643}{131072}+\frac {\sqrt {2}\,900403059231{}\mathrm {i}}{131072}\right )}\right )\,\sqrt {17191238-\sqrt {2}\,14352598{}\mathrm {i}}\,3{}\mathrm {i}}{256}+\frac {\mathrm {atan}\left (\frac {x\,\sqrt {17191238+\sqrt {2}\,14352598{}\mathrm {i}}\,193760073{}\mathrm {i}}{131072\,\left (\frac {986432531643}{131072}+\frac {\sqrt {2}\,900403059231{}\mathrm {i}}{131072}\right )}+\frac {193760073\,\sqrt {2}\,x\,\sqrt {17191238+\sqrt {2}\,14352598{}\mathrm {i}}}{262144\,\left (\frac {986432531643}{131072}+\frac {\sqrt {2}\,900403059231{}\mathrm {i}}{131072}\right )}\right )\,\sqrt {17191238+\sqrt {2}\,14352598{}\mathrm {i}}\,3{}\mathrm {i}}{256} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________